Fix 64-bit Xen build after new PIT (i8254) code.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 19 Apr 2006 21:23:30 +0000 (22:23 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 19 Apr 2006 21:23:30 +0000 (22:23 +0100)
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/hvm/i8254.c

index 8caf02559f6bed2bc7f9fedfe8c9688fc67b5b8d..8a863240e104b5e760394e60d67f00947bbd9f5d 100644 (file)
@@ -562,7 +562,8 @@ void pickup_deactive_ticks(struct hvm_virpit *vpit)
         if (next_time > 0)
             set_timer(&(s->hvm_time->pit_timer), s->next_transition_time);
         else {
-            printk("HVM_PIT:not set_timer before resume next_time=%lld!\n", next_time);
+            printk("HVM_PIT:not set_timer before resume next_time=%"
+                   PRId64"!\n", next_time);
             next_time = s->next_transition_time;
         }
     }